ngữ cảnh mặc định câu

• Một ngữ cảnh mặc định nhỏ nhất mà vẫn cho ra kết quả là giá trị đó.
• Trước đây, ta đã nói rằng pure nhận một giá trị và đặt nó vào trong một ngữ cảnh mặc định.
• Ta đưa giá trị monad m vào hàm rồi áp dụng hàm f lên kết quả thu được, trước khi đặt nó vào lại ngữ cảnh mặc định.
• Nó cho thêm nhiều chức năng hữu ích như nhân đôi cửa sổ hiện tại, mở / di chuyển đến / copy tới các thư mục đánh dấu trang, ẩn menu ngữ cảnh mặc định, và vv.
• Nó nhận một giá trị boole và trong trường hợp đó là True, thì nhận vào một () rồi đặt nó vào trong một ngữ cảnh mặc định tối thiểu mà vẫn đảm bảo thành công.
• Nếu ta muốn chuyển đổi một danh sách rỗng thành một functor áp dụng với một danh sách các kết quả, thì ta chỉ việc đặt danh sách rỗng vào trong một ngữ cảnh mặc định.
• Nó bổ sung nhiều chức năng hữu ích như sao chép cửa sổ explorer hiện tại, mở / di chuyển đến / sao chép vào các thư mục được đánh dấu, ẩn các menu ngữ cảnh mặc định, v.v.
• Nếu ta chỉ đặt một hàm vào trong một ngữ cảnh mặc định rồi kết xuất và áp dụng nó cho một giá tị bên trong một functor áp dụng khác, thì ta đã làm việc giống như là ánh xạ hàm đó lên functor áp dụng nêu trên.
• Định luật monad thứ nhất phát biểu rằng nếu ta nhận một giá trị, đặt nó vào trong một ngữ cảnh mặc định bằng return rồi đưa nó vào một hàm bằng >>=, thì cũng giống như là chỉ việc lấy giá trị rồi áp dụng hàm lên nó.
• Sau đó, ta đã học về các functor cải tiến, gọi là functor áp dụng, vốn cho phép ta áp dụng những functor thường đối vói một số giá trị áp dụng, cũng như lấy một giá trị thường rồi đặt nó vao trong một ngữ cảnh mặc định nào đó.